(1
 (
("distance-increasing(agent2 agent1)" 360 702)
("visible(agent2 agent1)" 230 335)
("heard(agent2 agent1)" 346 377)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 357 360)
("distance-stable(agent2 agent1)" 702 706)
("distance-stable(agent2 agent1)" 727 1068)
("visible(agent1 agent2)" 230 335)
("distance-decreasing(agent2 agent1)" 5 357)
("distance-decreasing(agent2 agent1)" 706 727)
("heard(agent1 agent2)" 346 377)
 )
)
(2
 (
("distance-increasing(agent2 agent1)" 639 1069)
("visible(agent2 agent1)" 509 614)
("heard(agent2 agent1)" 623 652)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 636 639)
("visible(agent1 agent2)" 509 614)
("distance-decreasing(agent2 agent1)" 5 636)
("heard(agent1 agent2)" 623 652)
 )
)
(3
 (
("distance-increasing(agent2 agent1)" 330 643)
("visible(agent2 agent1)" 200 306)
("heard(agent2 agent1)" 312 341)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 328 330)
("distance-stable(agent2 agent1)" 643 647)
("distance-stable(agent2 agent1)" 668 1076)
("visible(agent1 agent2)" 200 306)
("distance-decreasing(agent2 agent1)" 5 328)
("distance-decreasing(agent2 agent1)" 647 668)
("heard(agent1 agent2)" 312 341)
 )
)
(4
 (
("distance-increasing(agent2 agent1)" 309 600)
("visible(agent2 agent1)" 179 284)
("heard(agent2 agent1)" 284 320)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 306 309)
("distance-stable(agent2 agent1)" 600 604)
("distance-stable(agent2 agent1)" 626 1077)
("visible(agent1 agent2)" 179 284)
("distance-decreasing(agent2 agent1)" 5 306)
("distance-decreasing(agent2 agent1)" 604 626)
("heard(agent1 agent2)" 284 320)
 )
)
(5
 (
("distance-increasing(agent2 agent1)" 493 971)
("visible(agent2 agent1)" 362 483)
("heard(agent2 agent1)" 457 517)
("distance-stable(agent2 agent1)" 3 5)
("distance-stable(agent2 agent1)" 492 493)
("distance-stable(agent2 agent1)" 971 975)
("distance-stable(agent2 agent1)" 995 1068)
("visible(agent1 agent2)" 362 482)
("distance-decreasing(agent2 agent1)" 2 3)
("distance-decreasing(agent2 agent1)" 5 492)
("distance-decreasing(agent2 agent1)" 975 995)
("heard(agent1 agent2)" 457 517)
 )
)
(6
 (
("distance-increasing(agent2 agent1)" 413 809)
("visible(agent2 agent1)" 283 389)
("heard(agent2 agent1)" 394 423)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 411 413)
("distance-stable(agent2 agent1)" 809 813)
("distance-stable(agent2 agent1)" 833 1065)
("visible(agent1 agent2)" 283 389)
("distance-decreasing(agent2 agent1)" 5 411)
("distance-decreasing(agent2 agent1)" 813 833)
("heard(agent1 agent2)" 394 423)
 )
)
(7
 (
("distance-increasing(agent2 agent1)" 345 672)
("visible(agent2 agent1)" 215 320)
("heard(agent2 agent1)" 329 358)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 342 345)
("distance-stable(agent2 agent1)" 672 676)
("distance-stable(agent2 agent1)" 697 1076)
("visible(agent1 agent2)" 215 320)
("distance-decreasing(agent2 agent1)" 5 342)
("distance-decreasing(agent2 agent1)" 676 697)
("heard(agent1 agent2)" 329 358)
 )
)
(8
 (
("distance-increasing(agent2 agent1)" 362 706)
("visible(agent2 agent1)" 232 337)
("heard(agent2 agent1)" 340 371)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 359 362)
("distance-stable(agent2 agent1)" 706 710)
("distance-stable(agent2 agent1)" 730 1078)
("visible(agent1 agent2)" 232 337)
("distance-decreasing(agent2 agent1)" 5 359)
("distance-decreasing(agent2 agent1)" 710 730)
("heard(agent1 agent2)" 340 371)
 )
)
(9
 (
("distance-increasing(agent2 agent1)" 251 488)
("visible(agent2 agent1)" 120 241)
("heard(agent2 agent1)" 224 285)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 250 251)
("distance-stable(agent2 agent1)" 488 492)
("distance-stable(agent2 agent1)" 514 1075)
("visible(agent1 agent2)" 120 239)
("distance-decreasing(agent2 agent1)" 5 250)
("distance-decreasing(agent2 agent1)" 492 514)
("heard(agent1 agent2)" 224 284)
 )
)
(10
 (
("distance-increasing(agent2 agent1)" 269 520)
("visible(agent2 agent1)" 139 244)
("heard(agent2 agent1)" 252 289)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 266 269)
("distance-stable(agent2 agent1)" 520 524)
("distance-stable(agent2 agent1)" 544 1072)
("visible(agent1 agent2)" 139 244)
("distance-decreasing(agent2 agent1)" 5 266)
("distance-decreasing(agent2 agent1)" 524 544)
("heard(agent1 agent2)" 252 289)
 )
)
(11
 (
("distance-increasing(agent2 agent1)" 157 297)
("visible(agent2 agent1)" 0 133)
("heard(agent2 agent1)" 132 169)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 155 157)
("distance-stable(agent2 agent1)" 297 301)
("distance-stable(agent2 agent1)" 321 1077)
("visible(agent1 agent2)" 0 133)
("distance-decreasing(agent2 agent1)" 5 155)
("distance-decreasing(agent2 agent1)" 301 321)
("heard(agent1 agent2)" 132 169)
 )
)
(12
 (
("distance-increasing(agent2 agent1)" 269 524)
("visible(agent2 agent1)" 138 259)
("heard(agent2 agent1)" 240 296)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 268 269)
("distance-stable(agent2 agent1)" 524 528)
("distance-stable(agent2 agent1)" 548 1075)
("visible(agent1 agent2)" 138 258)
("distance-decreasing(agent2 agent1)" 5 268)
("distance-decreasing(agent2 agent1)" 528 548)
("heard(agent1 agent2)" 240 296)
 )
)
(13
 (
("distance-increasing(agent2 agent1)" 393 770)
("visible(agent2 agent1)" 262 382)
("heard(agent2 agent1)" 362 419)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 391 393)
("distance-stable(agent2 agent1)" 770 774)
("distance-stable(agent2 agent1)" 796 899)
("visible(agent1 agent2)" 262 381)
("distance-decreasing(agent2 agent1)" 5 391)
("distance-decreasing(agent2 agent1)" 774 796)
("heard(agent1 agent2)" 362 419)
 )
)
(14
 (
("distance-increasing(agent2 agent1)" 172 329)
("visible(agent2 agent1)" 32 162)
("heard(agent2 agent1)" 144 202)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 170 172)
("distance-stable(agent2 agent1)" 329 333)
("distance-stable(agent2 agent1)" 354 1072)
("visible(agent1 agent2)" 31 159)
("distance-decreasing(agent2 agent1)" 5 170)
("distance-decreasing(agent2 agent1)" 333 354)
("heard(agent1 agent2)" 144 202)
 )
)
(15
 (
("distance-increasing(agent2 agent1)" 402 787)
("visible(agent2 agent1)" 272 377)
("heard(agent2 agent1)" 383 412)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 399 402)
("distance-stable(agent2 agent1)" 787 791)
("distance-stable(agent2 agent1)" 814 1077)
("visible(agent1 agent2)" 272 377)
("distance-decreasing(agent2 agent1)" 5 399)
("distance-decreasing(agent2 agent1)" 791 814)
("heard(agent1 agent2)" 383 412)
 )
)
(16
 (
("distance-increasing(agent2 agent1)" 199 385)
("visible(agent2 agent1)" 68 190)
("heard(agent2 agent1)" 171 226)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 198 199)
("distance-stable(agent2 agent1)" 385 389)
("distance-stable(agent2 agent1)" 411 1077)
("visible(agent1 agent2)" 68 188)
("distance-decreasing(agent2 agent1)" 5 198)
("distance-decreasing(agent2 agent1)" 389 411)
("heard(agent1 agent2)" 171 226)
 )
)
(17
 (
("distance-increasing(agent2 agent1)" 125 232)
("visible(agent2 agent1)" 0 100)
("heard(agent2 agent1)" 103 134)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 122 125)
("distance-stable(agent2 agent1)" 232 236)
("distance-stable(agent2 agent1)" 257 1078)
("visible(agent1 agent2)" 0 100)
("distance-decreasing(agent2 agent1)" 5 122)
("distance-decreasing(agent2 agent1)" 236 257)
("heard(agent1 agent2)" 103 134)
 )
)
(18
 (
("distance-increasing(agent2 agent1)" 290 562)
("visible(agent2 agent1)" 160 265)
("heard(agent2 agent1)" 272 301)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 287 290)
("distance-stable(agent2 agent1)" 562 566)
("distance-stable(agent2 agent1)" 587 1074)
("visible(agent1 agent2)" 160 265)
("distance-decreasing(agent2 agent1)" 5 287)
("distance-decreasing(agent2 agent1)" 566 587)
("heard(agent1 agent2)" 272 301)
 )
)
(19
 (
("distance-increasing(agent2 agent1)" 472 928)
("visible(agent2 agent1)" 343 448)
("heard(agent2 agent1)" 455 483)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 470 472)
("distance-stable(agent2 agent1)" 928 932)
("distance-stable(agent2 agent1)" 952 1079)
("visible(agent1 agent2)" 343 448)
("distance-decreasing(agent2 agent1)" 5 470)
("distance-decreasing(agent2 agent1)" 932 952)
("heard(agent1 agent2)" 455 483)
 )
)
(20
 (
("distance-increasing(agent2 agent1)" 423 832)
("visible(agent2 agent1)" 292 413)
("heard(agent2 agent1)" 391 448)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 422 423)
("distance-stable(agent2 agent1)" 832 836)
("distance-stable(agent2 agent1)" 856 1070)
("visible(agent1 agent2)" 292 412)
("distance-decreasing(agent2 agent1)" 5 422)
("distance-decreasing(agent2 agent1)" 836 856)
("heard(agent1 agent2)" 391 448)
 )
)
